منابع مشابه
Mode-Automata in Simulink/Stateflow
This paper presents an application of the mode-automata based design method to Stateflow/Simulink. The observation we make is two fold. First, we realized that modeautomata, being one of the most convincing proposition made recently to separate control from signal processing, is only starting to be applied to industrial tools. Second, although the separation of control and signal processing is ...
متن کاملImproving Timing Analysis for Matlab Simulink/Stateflow
Control software in embedded hard real-time systems is subject to stringent timing constraints. To compute the required safe upper bounds on its worst-case execution-time (WCET), static timing analysis is used in industry [1]. Today control software is predominantly developed with model-based design tools such as Matlab Simulink/Stateflow. However, current timing tools lose precision as they co...
متن کاملDynamic Reliability by Using Simulink and Stateflow
The safety of high criticity industrial systems relies heavily on relatively complex programmed systems. Due to the complexity of the interactions between physical processes and their control, classical methodologies such as eventrees/fault-trees or Petri nets may not represent adequately the dynamic interactions existing between the physical processes (modeled by continuous variables) and the ...
متن کاملSemantic Translation of Simulink/Stateflow models to
Research in the field of hybrid systems has produced a number of verification tools. Formal verification of systems is performed using such tools. In practice prototyping and simulation tools such as Matlab’s Simulink and Stateflow (MSS) are prevalent. The paper formally describes a translation process that can convert a well-defined subset of MSS into a standard form of hybrid automata. This t...
متن کاملBayesian statistical model checking with application to Stateflow/Simulink verification
We address the problem of model checking stochastic systems, i.e., checking whether a stochastic system satisfies a certain temporal property with a probability greater (or smaller) than a fixed threshold. In particular, we present a Statistical Model Checking (SMC) approach based on Bayesian statistics. We show that our approach is feasible for a certain class of hybrid systems with stochastic...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Procedia - Social and Behavioral Sciences
سال: 2009
ISSN: 1877-0428
DOI: 10.1016/j.sbspro.2009.01.100